You have chosen Intensional Logic, (Nonsolipsistic) Conceptual Role Semantics and Intensional Logic.
All three must be different; choose another text.